Search
1 heading found for n 50012539
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Troelstra, Anne Sjerp.
Troelstra, A. S. (Anne Sjerp) Troelstra, A.S. Troelstra, A.S. (Anne Sjerp), 1939- Troelstra, Anne S. 1939-2019 Troelstra, A. S 1939-2019 Troelstra, A. S., 1939- Anne Troelstra Nederlands wiskundige Troelstra, Anne Sjerp 1939- Troelstra, Anne Sjerp (1939-2019) |
Personal | Basic proof theory Axioms for intuitionistic mathematics incompatible with classical logic Basic proof theory Axioms for intuitionistic mathematics incompatible with classical logic Basic proof theory Basic proof theory Choice sequences : a chapter of intuitionistic mathematics Basic proof theory |